Teaching Temporal Logics to Neural Networks

We study two fundamental questions in neuro-symbolic computing: can deep learning tackle challenging problems in logics end-to-end, and can neural networks learn the semantics of logics. In this work we focus on linear-time temporal logic (LTL), as it is widely used in verification. We train a Transformer on the problem to directly predict a solution, i.e. a trace, to a given LTL formula. The training data is generated with classical solvers, which, however, only provide one of many possible solutions to each formula. We demonstrate that it is sufficient to train on those particular solutions to formulas, and that Transformers can predict solutions even to formulas from benchmarks from the literature on which the classical solver timed out. Transformers also generalize to the semantics of the logics: while they often deviate from the solutions found by the classical solvers, they still predict correct solutions to most formulas

Associated factors and comorbidities in patients with pyoderma gangrenosum in Germany: a retrospective multicentric analysis in 259 patients

Background: Pyoderma gangrenosum (PG) is a rarely diagnosed ulcerative neutrophilic dermatosis with unknown origin that has been poorly characterized in clinical studies so far. Consequently there have been significant discussions about its associated factors and comorbidities. The aim of our multicenter study was to analyze current data from patients in dermatologic wound care centers in Germany in order to describe associated factors and comorbidities in patients with PG. Methods: Retrospective clinical investigation of patients with PG from dermatologic wound care centers in Germany. Results: We received data from 259 patients with PG from 20 different dermatologic wound care centers in Germany. Of these 142 (54.8\%) patients were female, 117 (45.2\%) were male; with an age range of 21 to 95 years, and a mean of 58 years. In our patient population we found 45.6\% with anemia, 44.8\% with endocrine diseases, 12.4\% with internal malignancies, 9.3\% with chronic inflammatory bowel diseases and 4.3\% with elevated creatinine levels. Moreover 25.5\% of all patients had a diabetes mellitus with some aspects of potential association with the metabolic syndrome. Conclusions: Our study describes one of the world's largest populations with PG. Beside the well-known association with chronic bowel diseases and neoplasms, a potentially relevant new aspect is an association with endocrine diseases, in particular the metabolic syndrome, thyroid dysfunctions and renal disorders. Our findings represent clinically relevant new aspects. This may help to describe the patients' characteristics and help to understand the underlying pathophysiology in these often misdiagnosed patients

Meridional Overturning Circulation Observations in the Subtropical North Atlantic

Large-scale climate patterns influenced temperature and weather patterns around the globe in 2011. In particular, a moderate-to-strong La Niña at the beginning of the year dissipated during boreal spring but reemerged during fall. The phenomenon contributed to historical droughts in East Africa, the southern United States, and northern Mexico, as well the wettest two-year period (2010-11) on record for Australia, particularly remarkable as this follows a decade-long dry period. Precipitation patterns in South America were also influenced by La Niña. Heavy rain in Rio de Janeiro in January triggered the country's worst floods and landslides in Brazil's history. The 2011 combined average temperature across global land and ocean surfaces was the coolest since 2008, but was also among the 15 warmest years on record and above the 1981-2010 average. The global sea surface temperature cooled by 0.1°C from 2010 to 2011, associated with cooling influences of La Niña. Global integrals of upper ocean heat content for 2011 were higher than for all prior years, demonstrating the Earth's dominant role of the oceans in the Earth's energy budget. In the upper atmosphere, tropical stratospheric temperatures were anomalously warm, while polar temperatures were anomalously cold. This led to large springtime stratospheric ozone reductions in polar latitudes in both hemispheres. Ozone concentrations in the Arctic stratosphere during March were the lowest for that period since satellite records began in 1979. An extensive, deep, and persistent ozone hole over the Antarctic in September indicates that the recovery to pre-1980 conditions is proceeding very slowly. Atmospheric carbon dioxide concentrations increased by 2.10 ppm in 2011, and exceeded 390 ppm for the first time since instrumental records began. Other greenhouse gases also continued to rise in concentration and the combined effect now represents a 30% increase in radiative forcing over a 1990 baseline. Most ozone depleting substances continued to fall. The global net ocean carbon dioxide uptake for the 2010 transition period from El Niño to La Niña, the most recent period for which analyzed data are available, was estimated to be 1.30 Pg C yr-1, almost 12% below the 29-year long-term average. Relative to the long-term trend, global sea level dropped noticeably in mid-2010 and reached a local minimum in 2011. The drop has been linked to the La Nina conditions that prevailed throughout much of 2010-11. Global sea level increased sharply during the second half of 2011. Global tropical cyclone activity during 2011 was wellbelow average, with a total of 74 storms compared with the 1981-2010 average of 89. Similar to 2010, the North Atlantic was the only basin that experienced abovenormal activity. For the first year since the widespread introduction of the Dvorak intensity-estimation method in the 1980s, only three tropical cyclones reached Category 5 intensity level-all in the Northwest Pacific basin. The Arctic continued to warm at about twice the rate compared with lower latitudes. Below-normal summer snowfall, a decreasing trend in surface albedo, and aboveaverage surface and upper air temperatures resulted in a continued pattern of extreme surface melting, and net snow and ice loss on the Greenland ice sheet. Warmerthan- normal temperatures over the Eurasian Arctic in spring resulted in a new record-low June snow cover extent and spring snow cover duration in this region. In the Canadian Arctic, the mass loss from glaciers and ice caps was the greatest since GRACE measurements began in 2002, continuing a negative trend that began in 1987. New record high temperatures occurred at 20 m below the land surface at all permafrost observatories on the North Slope of Alaska, where measurements began in the late 1970s. Arctic sea ice extent in September 2011 was the second-lowest on record, while the extent of old ice (four and five years) reached a new record minimum that was just 19% of normal. On the opposite pole, austral winter and spring temperatures were more than 3°C above normal over much of the Antarctic continent. However, winter temperatures were below normal in the northern Antarctic Peninsula, which continued the downward trend there during the last 15 years. In summer, an all-time record high temperature of -12.3°C was set at the South Pole station on 25 December, exceeding the previous record by more than a full degree. Antarctic sea ice extent anomalies increased steadily through much of the year, from briefly setting a record low in April, to well above average in December. The latter trend reflects the dispersive effects of low pressure on sea ice and the generally cool conditions around the Antarctic perimeter. © 2012 American Meteorological Society

Sea level variability and change

Large-scale climate patterns influenced temperature and weather patterns around the globe in 2011. In particular, a moderate-to-strong La Niña at the beginning of the year dissipated during boreal spring but reemerged during fall. The phenomenon contributed to historical droughts in East Africa, the southern United States, and northern Mexico, as well the wettest two-year period (2010-11) on record for Australia, particularly remarkable as this follows a decade-long dry period. Precipitation patterns in South America were also influenced by La Niña. Heavy rain in Rio de Janeiro in January triggered the country's worst floods and landslides in Brazil's history. The 2011 combined average temperature across global land and ocean surfaces was the coolest since 2008, but was also among the 15 warmest years on record and above the 1981-2010 average. The global sea surface temperature cooled by 0.1°C from 2010 to 2011, associated with cooling influences of La Niña. Global integrals of upper ocean heat content for 2011 were higher than for all prior years, demonstrating the Earth's dominant role of the oceans in the Earth's energy budget. In the upper atmosphere, tropical stratospheric temperatures were anomalously warm, while polar temperatures were anomalously cold. This led to large springtime stratospheric ozone reductions in polar latitudes in both hemispheres. Ozone concentrations in the Arctic stratosphere during March were the lowest for that period since satellite records began in 1979. An extensive, deep, and persistent ozone hole over the Antarctic in September indicates that the recovery to pre-1980 conditions is proceeding very slowly. Atmospheric carbon dioxide concentrations increased by 2.10 ppm in 2011, and exceeded 390 ppm for the first time since instrumental records began. Other greenhouse gases also continued to rise in concentration and the combined effect now represents a 30% increase in radiative forcing over a 1990 baseline. Most ozone depleting substances continued to fall. The global net ocean carbon dioxide uptake for the 2010 transition period from El Niño to La Niña, the most recent period for which analyzed data are available, was estimated to be 1.30 Pg C yr-1, almost 12% below the 29-year long-term average. Relative to the long-term trend, global sea level dropped noticeably in mid-2010 and reached a local minimum in 2011. The drop has been linked to the La Nina conditions that prevailed throughout much of 2010-11. Global sea level increased sharply during the second half of 2011. Global tropical cyclone activity during 2011 was wellbelow average, with a total of 74 storms compared with the 1981-2010 average of 89. Similar to 2010, the North Atlantic was the only basin that experienced abovenormal activity. For the first year since the widespread introduction of the Dvorak intensity-estimation method in the 1980s, only three tropical cyclones reached Category 5 intensity level-all in the Northwest Pacific basin. The Arctic continued to warm at about twice the rate compared with lower latitudes. Below-normal summer snowfall, a decreasing trend in surface albedo, and aboveaverage surface and upper air temperatures resulted in a continued pattern of extreme surface melting, and net snow and ice loss on the Greenland ice sheet. Warmerthan- normal temperatures over the Eurasian Arctic in spring resulted in a new record-low June snow cover extent and spring snow cover duration in this region. In the Canadian Arctic, the mass loss from glaciers and ice caps was the greatest since GRACE measurements began in 2002, continuing a negative trend that began in 1987. New record high temperatures occurred at 20 m below the land surface at all permafrost observatories on the North Slope of Alaska, where measurements began in the late 1970s. Arctic sea ice extent in September 2011 was the second-lowest on record, while the extent of old ice (four and five years) reached a new record minimum that was just 19% of normal. On the opposite pole, austral winter and spring temperatures were more than 3°C above normal over much of the Antarctic continent. However, winter temperatures were below normal in the northern Antarctic Peninsula, which continued the downward trend there during the last 15 years. In summer, an all-time record high temperature of -12.3°C was set at the South Pole station on 25 December, exceeding the previous record by more than a full degree. Antarctic sea ice extent anomalies increased steadily through much of the year, from briefly setting a record low in April, to well above average in December. The latter trend reflects the dispersive effects of low pressure on sea ice and the generally cool conditions around the Antarctic perimeter. © 2012 American Meteorological Society

STATE OF THE CLIMATE IN 2011 Special Supplement to the Bulletin of the American Meteorological Society Vol. 93, No. 7, July 2012

Large-scale climate patterns influenced temperature and weather patterns around the globe in 2011. In particular, a moderate-to-strong La Nina at the beginning of the year dissipated during boreal spring but reemerged during fall. The phenomenon contributed to historical droughts in East Africa, the southern United States, and northern Mexico, as well the wettest two-year period (2010-11) on record for Australia, particularly remarkable as this follows a decade-long dry period. Precipitation patterns in South America were also influenced by La Nina. Heavy rain in Rio de Janeiro in January triggered the country's worst floods and landslides in Brazil's history. The 2011 combined average temperature across global land and ocean surfaces was the coolest since 2008, but was also among the 15 warmest years on record and above the 1981-2010 average. The global sea surface temperature cooled by 0.1 degrees C from 2010 to 2011, associated with cooling influences of La Nina. Global integrals of upper ocean heat content for 2011 were higher than for all prior years, demonstrating the Earth's dominant role of the oceans in the Earth's energy budget. In the upper atmosphere, tropical stratospheric temperatures were anomalously warm, while polar temperatures were anomalously cold. This led to large springtime stratospheric ozone reductions in polar latitudes in both hemispheres. Ozone concentrations in the Arctic stratosphere during March were the lowest for that period since satellite records began in 1979. An extensive, deep, and persistent ozone hole over the Antarctic in September indicates that the recovery to pre-1980 conditions is proceeding very slowly. Atmospheric carbon dioxide concentrations increased by 2.10 ppm in 2011, and exceeded 390 ppm for the first time since instrumental records began. Other greenhouse gases also continued to rise in concentration and the combined effect now represents a 30% increase in radiative forcing over a 1990 baseline. Most ozone depleting substances continued to fall. The global net ocean carbon dioxide uptake for the 2010 transition period from El Nino to La Nina, the most recent period for which analyzed data are available, was estimated to be 1.30 Pg C yr(-1), almost 12% below the 29-year long-term average. Relative to the long-term trend, global sea level dropped noticeably in mid-2010 and reached a local minimum in 2011. The drop has been linked to the La Nina conditions that prevailed throughout much of 2010-11. Global sea level increased sharply during the second half of 2011. Global tropical cyclone activity during 2011 was well-below average, with a total of 74 storms compared with the 1981-2010 average of 89. Similar to 2010, the North Atlantic was the only basin that experienced above-normal activity. For the first year since the widespread introduction of the Dvorak intensity-estimation method in the 1980s, only three tropical cyclones reached Category 5 intensity level-all in the Northwest Pacific basin. The Arctic continued to warm at about twice the rate compared with lower latitudes. Below-normal summer snowfall, a decreasing trend in surface albedo, and above-average surface and upper air temperatures resulted in a continued pattern of extreme surface melting, and net snow and ice loss on the Greenland ice sheet. Warmer-than-normal temperatures over the Eurasian Arctic in spring resulted in a new record-low June snow cover extent and spring snow cover duration in this region. In the Canadian Arctic, the mass loss from glaciers and ice caps was the greatest since GRACE measurements began in 2002, continuing a negative trend that began in 1987. New record high temperatures occurred at 20 m below the land surface at all permafrost observatories on the North Slope of Alaska, where measurements began in the late 1970s. Arctic sea ice extent in September 2011 was the second-lowest on record, while the extent of old ice (four and five years) reached a new record minimum that was just 19% of normal. On the opposite pole, austral winter and spring temperatures were more than 3 degrees C above normal over much of the Antarctic continent. However, winter temperatures were below normal in the northern Antarctic Peninsula, which continued the downward trend there during the last 15 years. In summer, an all-time record high temperature of -12.3 degrees C was set at the South Pole station on 25 December, exceeding the previous record by more than a full degree. Antarctic sea ice extent anomalies increased steadily through much of the year, from briefly setting a record low in April, to well above average in December. The latter trend reflects the dispersive effects of low pressure on sea ice and the generally cool conditions around the Antarctic perimeter